A Logic-Based Method for Business Process Knowledge Base Management

نویسندگان

  • Antonio De Nicola
  • Michele Missikoff
  • Maurizio Proietti
  • Fabrizio Smith
چکیده

In this paper we present the BPAL platform aimed at the management of Business Process Knowledge Bases. It includes a logic-based language for BP modeling and a reasoning mechanism providing support to BP designers in several services. Firstly, the definition of a BP meta-model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform allows for the automatic verification of the compliance of a given BP w.r.t. the defined MM. Finally, the execution semantics of a BP is given in term of its instances (referred to as traces) to provide two basic services; checking if an execution of a BP has been carried out in accordance with the corresponding definition (process log analysis); simulating possible executions by automatic traces generation. The proposed platform is open since the meta-model can be easily modified to codify different classes of BP, to comply with specific needs of an enterprise.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasoning on Business Processes and Ontologies in a Logic Programming Environment

In this paper we present a semantic approach to Business Process (BP) Management. The proposal is based on a synergic use of an ontological framework (OPAL), to capture the semantics of a business scenario, and a business process modelling framework (BPAL), to represent the underlying application logic. Both frameworks are grounded in a logic-based formalism (Logic Programming) and therefore it...

متن کامل

Checking the Compliance of Business Process in Business Process Life Cycle

Business process compliance has become more and more important function for business process management (BPM). One of challenges in this area is to check the business process compliance in the business process life-cycle (design-time, run-time). In this paper, we propose a description logic-based approach for business process compliance checking during two phases of the business process life-cy...

متن کامل

THE APPLICATION OF DATA ENVELOPMENT ANALYSIS METHODOLOGY TO IMPROVE THE BENCHMARKING PROCESS IN THE EFQM BUSINESS MODEL (CASE STUDY: AUTOMOTIVE INDUSTRY OF IRAN)

This paper reports a survey and case study research outcomes on the application of Data Envelopment Analysis (DEA) to the ranking method of European Foundation for Quality Management (EFQM) Business Excellence Model in Iran’s Automotive Industry and improving benchmarking process after assessment. Following the global trend, the Iranian industry leaders have introduced the EFQM practice to thei...

متن کامل

The Knowledge Work Designer - Modelling Process Logic and Business Logic

The Knowledge Work Designer is a tool that implements a modelling method for knowledge work. It is based on two principles: (1) the separation of business logic and process logic and (2) the support of both structured and unstructured knowledge. Process logic can be represented in a structured way in BPMN and in a non-structured way with CMMN. For deep integration of business processes and case...

متن کامل

A dynamic modeling for green business development in oil refining industry

A carbon-based industry, such as oil refinery, needs to change its business model to achieve a green business. Considering the existing too much data, the modeling procedure is complex. Therefore, combination of the Fuzzy Delphi method and System Dynamics can be considered to cover this complexity. The starting point in this work is literature review of prior studies on the same common topic an...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010